Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2

Source URL: www.cis.upenn.edu

• Finite automata
• Formal languages
• Theoretical computer science
• -automaton
• Omega language
• Regular language
• Muller automaton
• Constructible universe
• Symbol
• DFA minimization
• Mathematics
• Omega-regular language

Programming Language Technology Putting Formal Languages to Work Andreas Abel Department of Computer Science and Engineering Chalmers and Gothenburg University

Source URL: www2.tcs.ifi.lmu.de

Trust Management in Strand Spaces: A Rely-Guarantee Method? Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen The MITRE Corporation guttman, jt, nop, jherzog, ram

Source URL: evenmere.org

• Formal languages
• IP
• Logarithm
• Communications protocol
• NC
• Well-formed formula

Average Analysis of Glushkov Automata under a BST-Like Model Cyril Nicaud1 , Carine Pivoteau1 , and Benoît Razet2 1 2

Source URL: drops.dagstuhl.de

• Finite automata
• Formal languages
• Regular language
• Constructible universe
• Tree automaton
• Quantum finite automata

(Prefix) Reversal Distance for (Signed) Strings with Few Blocks or Small AlphabetsI Laurent Bulteaua,1 , Guillaume Fertinb,2 , Christian Komusiewiczc,2,3 a Laboratoire d’Informatique Gaspard Monge, CNRS UMR 8049, Univ

Source URL: users.minet.uni-jena.de

• Formal languages
• Computability theory
• Theory of computation
• Character encoding
• String
• Computable function
• Permutation
• Pattern language

The Lost TramSee how computers make mistakes “reading” texts! Try it!

Source URL: nacloweb.org

• Languages of Asia
• Culture
• Cognitive science
• Cognition
• Languages of Tajikistan
• Tajik language
• Linguistics
• Formal language

The Why3 platform Version, May 2016 François Bobot1,2 Jean-Christophe Filliâtre1,2

Source URL: why3.lri.fr

• Software
• Computer programming
• Proof assistants
• Functional languages
• Theoretical computer science
• Formal methods
• Logic in computer science
• Frama-C
• SPARK
• Coq
• Isabelle
• OCaml

Formal Methods Meet Domain Specific Languages Jean-Paul Bodeveix1 , Mamoun Filali1 , Julia Lawall2 , and Gilles Muller3 1 3

Source URL: www.diku.dk

The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv

Source URL: eacsl.kahle.ch

• Theoretical computer science
• Rajeev Alur
• Logic in computer science
• Symposium on Logic in Computer Science
• Automata
• Hybrid automaton
• Formal languages
• Timed automaton